در این مقاله مکانیزمی برای تبدیل ساختاری دوطرفه نمودار کلاس UML و توصیفات Object-Z پیشنهاد می گردد. در مکانیزم پیشنهادی برای تبدیل المان های مدل سازی نمودار کلاس و توصیفات Object-Z به یکدیگر، قواعد ساخت یافته ای تعریف شده است. تبدیل نمودار کلاس به عنوان یکی از پرکاربردترین نمودارهای زبان بصری UML و توصیف زبان صوری Object-Z به یکدیگر، بستر مناسبی را برای بهره مندی توامان از مزایای منحصر به فرد روش های مدل سازی صوری و بصری فراهم می نماید. به منظور امکان سنجی مکانیزم پیشنهادی، یک مطالعه موردی بر روی سیستم آسانسور چندکابینه ارائه می گردد. نتایج مطالعه مذکور حاکی از امکان پذیر بودن مکانیزم پیشنهادی است.

با رشد سریع جمعیت، نیاز به آسانسورها رو به گسترش است. نوع مرسوم آسانسور ساختمانی، نوع کششی است که نیاز به چاهک آسانسور، موتورخانه و همچنین وزنه تعادل دارد. آسانسورهای هیدرولیکی برای بار زیاد و طبقات کم بکار می روند که نیاز به موتورخانه روی بام ندارند. سیستم های پیچی نیز مانند پیچ قدرتی بیشتر برای بالابرهای صنعتی کاربرد دارد که دلیل آن سرعت کم، تلفات اصطکاکی و تولید حرارت در سرعت بالاتر و همچنین احتمال کمانش است. بال اسکرو دارای حرکت نرم، بدون صدا و ارتعاش و همچنین تلفات اصطکاکی بسیار کم می باشد که می تواند سرعت بالاتری نسبت به پیچ قدرتی داشته باشد و لذا برای آسانسور کاربردی شود. بدین منظور به طراحی آسانسوری برای حمل شش نفر در سه طبقه با سیستم حرکتی بال اسکرو و با سرعت m/s 6/0 پرداخته شده است. طراحی مفهومی آسانسور و اجزاء آن، انتخاب بال اسکرو و مهره مناسب، طراحی چرخدنده مخروطی دنده مستقیم و تعیین سرعت و توان موتور در دو حالت با و بدون وزنه تعادل ارایه شده است. مقایسه این سیستم با سیستم مرسوم کششی نشان می دهد که در حالت بدون وزنه تعادل، در سرعت یکسان با سیستم کششی کابلی، این روش به موتوری با توان بالاتر نیاز دارد اما اگر سرعت به m/s 45/0 کاهش داده شود موتوری با توان کمتر از سیستم کششی کابلی نیاز است که با توجه به حذف چاهک آسانسور، موتورخانه و وزنه تعادل در جایی که سرعت پایین مشکل ساز نباشد توجیه دارد و کاربرد آن در منازل ساده تر خواهد بود. در صورت کاربرد وزنه تعادل توان موتور بسیار کاهش یافته و با استفاده از اینورتور از برق تک فاز منازل می توان این سیستم را بکار برد.

در این مقاله، مساله طراحی چیدمان ساختمان های چند طبقه مورد بررسی قرار می گیرد. تابع هدف کمینه سازی هزینه نقل و انتقال مواد در بین دپارتمان ها می باشد. بررسی ادبیات نشان می دهد که نتایج به دست آمده از حل این مساله قابل اجرا در عمل نمی باشد؛ پس از مدلسازی ریاضی، بعلت NP-hard بودن مساله، برای حل از دو الگوریتم ابتکاری استفاده شده است. اولین الگوریتم چیدمان ابتدایی دپارتمان ها را تولید می کند؛ سپس الگوریتم دوم به جابجایی دپارتمان ها با هدف کمینه سازی مقدار تابع هدف می پردازد. در نهایت تجزیه و تحلیل و مقایسه الگوریتم پیشنهادی انجام می شود. نتایج محاسبات نشان می دهد که الگوریتم پیشنهادی دارای کارایی بسیار بالایی در عمل و در دنیای واقعی می باشد.

سیستم های حفاظتی، حیاتی ترین عنصر دفاعی شبکه های قدرت را در برابر شرایط غیرعادی تشکیل می دهند؛ بنابراین عملکرد نادرست آنها که توسط حملات سایبری ایجاد می شود، ممکن است عواقب بسیار زیادی برای شبکه های قدرت مانند خاموشی های گسترده ایجاد کند. از جمله مهم ترین سیستم های حفاظتی که در معرض نفوذ مهاجم سایبری است، سیستم حفاظتی ژنراتور، خط انتقال و ترانسفورمر می باشد. ناهنجاری های سایبری را می توان با استفاده از اقدام های استراتژیک به حاشیه راند و اثر آن را در شبکه کاهش داد. در این مقاله، با توجه به اهمیت سیستم حفاظت شبکه قدرت، مرور جامع روش های مقاوم سازی سیستم حفاظتی در برابر حملات سایبری مورد بررسی قرار گرفته است. بدین منظور در مرحله اول، جهت مقاوم سازی شبکه قدرت در برابر حمله سایبری، روش های مبتنی بر حفاظت ارائه می گردند. سپس در مرحله دوم، روش های مبتنی بر تشخیص برای ردیابی حمله سایبری احتمالی بیان می شوند. از آنجا که تضمین قطعی برای عدم نفوذ مهاجم سایبری وجود ندارد، با بهره گیری از روش های تشخیص حمله می توان از پیشرفت حمله جلوگیری کرد. به این منظور از دو دسته الگوریتم مبتنی بر داده و مبتنی بر مدل استفاده می شود. در الگوریتم های مبتنی بر داده می توان از دانش و اطلاعات شبکه به صورت بهینه استفاده کرد تا شرایط وقوع حمله سایبری را نسبت به شرایط بدون حمله سایبری تشخیص داد. در الگوریتم های مبتنی بر مدل با اجرای الگوریتم تخمین حالت و بر اساس روابط سیستم، پارامترهای شبکه تخمین زده می شود. سپس با محاسبه اختلاف مقادیر برآوردشده و مقادیر اندازه گیری شده، دستکاری در اطلاعات و نفوذ مهاجم سایبری، تشخیص داده می شود. در نتیجه استفاده از روش های جلوگیری و شناسایی نفوذ مهاجم سایبری در مطالعات مورد بررسی باعث افزایش امنیت سایبری سیستم حفاظت شبکه قدرت خواهد شد. در این راستا به کارگیری انواع الگوریتم های حفاظت و تشخیص برای مقابله با حملات سایبری بسیار حائز اهمیت است.

مقدمه: امروزه بهداشت دهان و دندان یکی از معضلات بهداشتی کشور می باشد. پوسترهای آموزشی، چنانچه به صورت مناسب طراحی و به کار گرفته شوند، یکی از راه های ساده و مقرون به صرفه آموزش بهداشت می باشد. هدف از انجام این پژوهش، بررسی تاثیر آموزش بهداشت دهان و دندان از طریق نصب پوستر آموزشی در آسانسور و تابلو اعلانات آپارتمان ها بود.روش ها: پژوهش حاضر به صورت نیمه تجربی با نمونه گیری از افراد ساکن در 10 مجموعه آپارتمان آسانسوردار نقاط مختلف شهر اصفهان در سال 1387 انجام شد (5 آپارتمان به عنوان مورد و 5 آپارتمان به عنوان شاهد انتخاب شدند). در مجموع 126 نفر در این مطالعه شرکت کردند. اطلاعات مربوط به آگاهی و نگرش در زمینه بهداشت دهان و دندان، با پرسش نامه خود ایفا در دو مرحله قبل و بعد از نصب پوسترهای آموزشی جمع آوری گردید. در آپارتمان های مورد، از پوستر آموزشی بهداشت دهان و دندان استفاده گردید. پس از یک ماه پوسترها جمع آوری گردید. پس از دو ماه مجددا پرسش نامه ها در میان تمام افراد (گروه مورد و شاهد) توزیع گردید. اطلاعات به روش آمار تحلیلی با نرم افزار SPSS مورد تجزیه و تحلیل قرار گرفت.یافته ها: 62.5 درصد از افراد زن و 37.5 درصد مرد بودند. 43 درصد از آنان مدرک تحصیلی دیپلم داشتند، 25.8 درصد از نظر نمره آگاهی و 86.7 درصد از نظر نمره نگرش وضعیت نامطلوب داشتند. قبل از مداخله وضعیت آگاهی، نگرش و عملکرد افراد دو گروه تفاوت معنی داری نداشت و پس از نصب پوسترهای آموزشی وضعیت آگاهی، نگرش و عملکرد افراد گروه مورد اندکی افزایش یافت اما این افزایش از نظر آماری معنی دار نبود.نتیجه گیری: روش آموزشی به کار رفته در این پژوهش کارآیی لازم جهت ارتقا سطح آگاهی، نگرش و عملکرد افراد را نداشت. پیشنهاد می شود جهت تکمیل اثر بخشی پوسترها از سایر روش های آموزش بهداشت نیز استفاده شود.

بشر به دنبال تکامل در زندگی خویش، مسکن طبیعی در غارها را رها نمود و به مسکن ساخته دست خودروی آورد و تا امروز هر آنچه فرهنگ، اقتصاد و ابعاد زندگی انسان متحول شده، مسکن او هم متحول شده است. به همین جهت با تحول فرهنگی در هر جامعه ای، تحول در مسکن مشهود می گردد؛ بنابراین چگونگی طراحی معماری مسکن می تواند بر سبک زندگی ساکنان تأثیرگذار باشد و متعاقب آن میزان مصرف انرژی (به عنوان قسمت مهمی از توسعه پایدار) را دچار تغییر کند. در این پژوهش تلاش شده، تأثیر معماری دسترسی های عمودی مجتمع های مسکونی بر سبک رندگی پایدار (زیر مجموعه ای از معماری پایدار) ساکنان مجتمع های مسکونی مورد کنکاش قرار گیرد. این تحقیق از نظر هدف، کاربردی و از نظر نحوه گردآوری داده ها؛ پژوهشی توصیفی-پیمایشی است. در مراحل ابتدایی از روش مطالعه اسنادی و کتابخانه ای اطلاعات لازم کسب و سپس تعداد 14 مجتمع مسکونی شیراز با قرابت فرهنگی، اقتصادی و اجتماعی به دو گروه بلند مرتبه و ارتفاع متعارف تقسیم بندی شده است و پس از سنجش کیفیت و کمیت دسترسی عمودی (آسانسور و پله) آن ها، تعداد دفعات استفاده از آسانسور طی یک هفته در اردیبهشت و مرداد 97 (با روش مطالعه میدانی) ثبت گردید. با توجه به میانگین استفاده روزانه و تعداد ساکنان هر مجتمع، سرانه استفاده آسانسور در یک روز اردیبهشتی و مردادی به دست آمد. سپس رابطه آن با کیفیت و کمیت پله ها به وسیله مدل تصریح شده و به وسیله نرم افزار ایویوز 7 مورد محاسبه و تجزیه و تحلیل قرار گرفت. نتایج حاصل نشان می دهد در ساختمان های بلند مرتبه کیفیت پله ها نمی تواند تأثیر چندانی در تغییر سبک زندگی و استفاده از آسانسور داشته باشد؛ اما در ساختمان های با ارتفاع متعارف، با افزایش کیفیت پله، تعداد دفعات استفاده از آسانسور کاهش می یابد. پس هر چه کیفیت پله ها بهبود یابد، تعداد دفعات استفاده از آسانسور کمتر شده و سبک زندگی به سمت پایداری حرکت می کند؛ بنابراین ایجاد جذابیت و سهولت استفاده بخش هایی با مصرف انرژی کم، می تواند پایداری سبک زندگی را توسعه دهد.